results for Post Correspondence Problem